Mining operations management